<?php
session_start();
//$_SESSION["user"]="lijialin";
if(!isset($_SESSION["user"]) || !$_SESSION["user"]){
	//Header("HTTP/1.1 303 See Other");
	Header("Location:login.php");
	exit; 
}
?>